Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
421	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
422	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-11-29 06:14:30 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
423	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 17:44:22 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
424	Resolving and Exploiting the k-CFA Paradox Illuminating Functional vs. Object-Oriented Program Analysis Matthew Might Yannis Smaragdakis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:17 Mathematical logic Logic in computer science Metalogic Model theory Denotational semantics Lambda calculus Structure Theoretical computer science Models of computation Mathematics
425	Extracting Hybrid Automata from Control Code Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA, {lyde,might}@cs.utah.edu Abstract. Formal methods—and abstract interpretation in particular— Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Applied mathematics Hybrid automaton Computer science Hybrid system Model checking State transition system Formal language Actor model Differential equations Automata theory Mathematics
426	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
427	JFP 22 (4–5): 705–746, [removed]c Cambridge University Press 2012 ! 705 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Programming language semantics Models of computation Computer science Operational semantics Model theory Lambda calculus Denotational semantics Theoretical computer science Applied mathematics Logic in computer science
428	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
429	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
430	Peter Jansen, PhD CV and Graphical Portfolio PhD (Neural Computation and Cognitive Language Modeling), McMaster University BIS (Physics and Cognitive Artificial Intelligence), University of Waterloo Cognitive Add to Reading List Source URL: www.tricorderproject.org Language: English - Date: 2013-05-22 14:43:31 Ethology Neuroscience Cognitive science Artificial neural network Cognitive architecture Connectionism Cognitive model Psychology Cognitive Science Society Science Computational neuroscience Neural networks

UPDATE